F-Alloy: An Alloy Based Model Transformation Language
نویسندگان
چکیده
Model transformations are one of the core artifacts of a model-driven engineering approach. The relational logic language Alloy has been used in the past to verify properties of model transformations. In this paper we introduce the concept of functional Alloy modules. In essence a functional Alloy module can be viewed as an Alloy module representing a model transformation. We describe a sublanguage of Alloy called F-Alloy that allows the specification of functional Alloy modules. Transformations expressed in F-Alloy are analysable using the powerful automatic analysis features of Alloy but can also be interpreted efficiently without the use of backtracking.
منابع مشابه
Adaptive Tunable Vibration Absorber using Shape Memory Alloy
This study presents a new approach to control the nonlinear dynamics of an adaptive absorber using shape memory alloy (SMA) element. Shape memory alloys are classified as smart materials that can remember their original shape after deformation. Stress and temperature-induced phase transformations are two typical behaviors of shape memory alloys. Changing the stiffness associated with phase tran...
متن کاملA Model Driven Approach for the Atomated Analysis of UML Class Diagrams
The Unified Modeling Language (UML) is widely considered as the defacto standard for the design of Object Oriented systems. UML class diagrams are used to depict the static structure of a system with its entities and the relationships between them. The Object Constraint Language (OCL) is a textual language based on first-order logic and can be used to define constraints on the elements of class...
متن کاملUML2ALLOY: A tool for lightweight modelling of discrete event systems
Alloy is a textual language developed by Daniel Jackson and his team at MIT. It is a formal language, which has a succinct syntax and allows specification and automatic analysis of a wide variety of systems. On the other hand, the Unified Modelling Language (UML) is a semi-formal language, which is accepted by the software engineering community as the defacto standard for modelling, specificati...
متن کاملNL2 Alloy: A Tool to Generate Alloy from NL Constraints
In this paper, we present a novel approach to generate Alloy code from Natural Language (NL) constraints. The proposed research is basically an extension of two projects, NL2OCL and UML2Alloy.Our method uses Natural Language Processing (NLP) and Model Transformation (MT) to transform constraints expressed in NL to Alloy. We do not directly transform NL to Alloy, instead we use multiple intermed...
متن کاملModeling information repositories consistency and auditing through Alloy and CCalc
We present a case study on which a model checking language (Alloy) and a non-monotonic causal language (CCalc) are used for modeling the auditing process of an information repository through a MultiAgents System. Alloy and CCalc are used for identifying inconsistencies and simulating an automatic correction process carried out by intelligent agents supervised by human users. Similarities and st...
متن کامل